1. <A> Computational Logic
المؤلف: \ Robert S. Boyer and J Strother Moore
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving.
رده :
E-Book
,
2. A computational logic
المؤلف: Boyer, Robert S., Robert S. Boyer and J Strother Moore
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Automatic theorem proving
رده :
QA
76
.
9
.
A96
B68
3. A computational logic
المؤلف: / Robert S. Boyer and J. Strother Moore
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving
رده :
QA
,
76
.
9
,.
A96
,
B68
4. A computational logic
المؤلف: Boyer, Robert S.
المکتبة: (طهران)
موضوع: ، Automatic theorem proving
رده :
QA
76
.
9
.
A96B68
5. A computational logic handbook
المؤلف: BOYER,ROBERT S
المکتبة: (طهران)
موضوع: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
B684
6. America's communal utopias /
المؤلف: edited by Donald E. Pitzer ; foreword by Paul S. Boyer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Collective settlements-- United States-- History.,Communal living-- United States-- History.,Communitarianism-- United States.,Collective settlements.,Communal living.,Communitarianism.,Gemeenschapszin.,HISTORY-- United States-- General.,POLITICAL SCIENCE-- Political Ideologies-- Communism & Socialism.,Utopieën.,United States., 7
رده :
HX653
.
A63
1997eb
7. American history :
المؤلف: Paul S. Boyer
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: United States, History, 0
رده :
E178
.
B782
2012
8. Automated reasoning : essays in honor of Woody Bledsoe
المؤلف: edited by Robert S. Boyer
المکتبة: (طهران)
موضوع: ، Automatic theorem proving,، Artificial intelligence
رده :
QA
76
.
9
.
A96
A92
1991
9. July 2, 2011. Proceedings-Pattern Recognition: Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29
المؤلف: / Youssef Brants, Edwin Robert Hancock (eds.)-Ochoa, Cherif Ben-s Ariel CarrascoهTrinidad, Jes-nezک Francisco MartفKim L. Boyer, Dijia Wu (auth.), Jos
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
10. Notable American Woman, 1607-1950; a biography phical dictionary.
المؤلف: / Edward T. James, editor. Janet Wilson James, associate editor. Paul S. Boyer. assistant editor.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Woman in the United States--Biography.
رده :
CT
3260
.
N57
R
11. Oil and gas exploration techniques seismic surveying and well logging
المؤلف: Boyer, S.
المکتبة: (سمنان)
موضوع: ، Oil well logging
رده :
TN
871
.
35
.
B6O5
12. Purity in print :
المؤلف: Paul S. Boyer
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Censorship-- United States-- History,Obscenity (Law)-- United States
13. Religion and the Culture of Print in Modern America
المؤلف: \ Edited by Charles L. Cohen and Paul S. Boyer
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Religious literature -- Publishing -- United States,Religious institutions -- Publishing -- United States.
رده :
Z
286
.
R4
2008
E-Book
,
14. Seismic Surveying and well logging
المؤلف: / Sylvain Boyer , Jean - Luc Mari, Translated from the French by M.S.N. carpenter, reviewed by A. Rivollier
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Seismic prospecting,Oil well logging,Petroleum - Prospecting
رده :
TN
269
.
8
.
B68
15. Seismic Surveying and well logging
المؤلف: / Sylvain Boyer , Jean - Luc Mari, Translated from the French by M.S.N. carpenter, reviewed by A. Rivollier
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Seismic prospecting,Oil well logging,Petroleum - Prospecting
رده :
TN
269
.
8
.
B68
16. Seismic surveying and well logging
المؤلف: Boyer, S.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Seismic prospecting,، Oil well logging,، Petroleum - Prospecting
رده :
TN
269
.
8
.
B68
1997
17. Seismic surveying and well logging
المؤلف: / Sylvain Boyer, Jean-Luc Mari, translated from the french by M.S.N.Carpenter
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Oil well logging, Acoustic,Oil well logging,Geophysical well logging
رده :
TN871
.
35
.
B66
1994
18. Seismic surveying and well logging /
المؤلف: Sylvain Boyer, Jean-Luc Mari ; translated from the French by M.S.N. Carpenter ; reviewed by A. Rivollier
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Oil well logging,Petroleum-- Prospecting,Seismic prospecting
رده :
TN269
.
8
.
B68
1997
19. Seismic surveying and well logging
المؤلف: Boyer, S.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Seismic prospecting,، Oil well logging,، Petroleum-- Prospecting
رده :
TN
269
.
8
.
B68
1997
20. Sismique et diagraphies.English,Seismic surveying and well logging
المؤلف: Sylvain Boyer, Jean-Luc Mari ; translated from the French by M.S.N. Carpenter ; reviewed by A. Rivollier
المکتبة: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع: Seismic prospecting,Oil well logging,Petroleum- Prospecting
رده :
TN
,
269
.
8
,.
B68
,
1997
